Raghavendra Kagalavadi Ramesh (u. A.) | Model Checking Trace-based...

Model Checking Trace-based Information Flow Properties For Finite

Stefan Edelkamp (u. A.) | Model Checking Software | Taschenbuch |

Francesco Logozzo (u. A.) | Verification, Model Checking, And

Doron A. Peled (u. A.) | Model Checking And Artificial Intelligence |

Christel Baier (u. A.) | Principles Of Model Checking | Buch |

Sriram K. Rajamani (u. A.) | Model Checking Software | Taschenbuch |

Gilles Barthe (u. A.) | Verification, Model Checking, And Abstract...

Markus Müller-olm (u. A.) | Verification, Model Checking, And

Model Checking Quantum Systems | Mingsheng Ying (u. A.) | Englisch |

Ramesh Jain (u. A.) | Motion-based Recognition | Buch | Englisch

Lenore D. Zuck (u. A.) | Verification, Model Checking, And Abstract...

Anne Remke (u. A.) | Stochastic Model Checking | Taschenbuch |

Roberto Giacobazzi (u. A.) | Verification, Model Checking, And

Jaco Geldenhuys (u. A.) | Model Checking Software | Taschenbuch |

Ernst-rüdiger Olderog (u. A.) | Model Checking, Synthesis, And